Add external-tools.md to the Makefile

diff --git a/Makefile.in b/Makefile.in
index 64ddeb96ea9bb261c8509b8de9629a2197fc9b33..99ab8f1bd80e30eda3470c3ed7ced56a9ab1c09d 100644 (file)
--- a/Makefile.in
+++ b/Makefile.in
@@ -160,7 +160,7 @@ clean:
 
 DOCS := index faq config guide manifest build-script pkgid-spec crates-io \
        environment-variables specifying-dependencies source-replacement \
-       policies machine-readable-output
+       policies external-tools
 DOC_DIR := target/doc
 DOC_OPTS := --markdown-no-toc \
                --markdown-css stylesheets/normalize.css \

diff --git a/src/doc/external-tools.md b/src/doc/external-tools.md
index bf07e7fc5728dd935bdb7789beea03e0c83b9919..fc3c5a3688fc70930e6c28c2ea301b41cee537f8 100644 (file)
--- a/src/doc/external-tools.md
+++ b/src/doc/external-tools.md
@@ -91,7 +91,7 @@ the `.d` files alongside the artifacts.
 Cargo is designed to be extensible with new subcommands without having to modify
 Cargo itself. This is achieved by translating a cargo invocation of the form
 cargo `(?<command>[^ ]+)` into an invocation of an external tool
-`cargo-${command} that then needs to be present in one of the user's `$PATH`
+`cargo-${command}` that then needs to be present in one of the user's `$PATH`
 directories.
 
 Custom subcommand may use `CARGO` environment variable to call back to

diff --git a/src/doc/header.html b/src/doc/header.html
index f10cf935f470ec861f5268cf1eadc3240934df3c..23395f4733635e45f87d47404ed4c97c9d408594 100644 (file)
--- a/src/doc/header.html
+++ b/src/doc/header.html
@@ -27,7 +27,9 @@
                 Docs
                 <span class="arrow"></span>
             </button>
-            <!-- Sync this list with https://github.com/rust-lang/crates.io/blob/master/app/templates/application.hbs -->
+            <!-- Sync this list with
+                 https://github.com/rust-lang/crates.io/blob/master/app/templates/application.hbs
+                 and with Makefile.in in this repository -->
             <ul id="current-user-links" class="dropdown" data-bindattr-503="503">
                 <li><a href='index.html'>Getting Started</a></li>
                 <li><a href='guide.html'>Guide</a></li>